Allamigeon, Xavier: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

On the Complexity of Strongly Connected Components in Directed Hypergraphs

Xavier Allamigeon

Journal:

Year:

2014

Language:

english

File:

PDF, 2.07 MB

english, 2014

2

Computing the Vertices of Tropical Polyhedra Using Directed Hypergraphs

Xavier Allamigeon, Stéphane Gaubert, Éric Goubault

Journal:

Discrete & Computational Geometry

Year:

2013

Language:

english

File:

PDF, 820 KB

english, 2013

3

Log-Barrier Interior Point Methods Are Not Strongly Polynomial

Allamigeon, Xavier, Benchimol, Pascal, Gaubert, Stéphane, Joswig, Michael

Journal:

SIAM Journal on Applied Algebra and Geometry

Year:

2018

Language:

english

File:

PDF, 639 KB

english, 2018

4

Tropicalization of facets of polytopes

Allamigeon, Xavier, Katz, Ricardo D.

Journal:

Linear Algebra and its Applications

Year:

2017

Language:

english

File:

PDF, 720 KB

english, 2017

5

Tropicalizing the Simplex Algorithm

Allamigeon, Xavier, Benchimol, Pascal, Gaubert, Stéphane, Joswig, Michael

Journal:

SIAM Journal on Discrete Mathematics

Year:

2015

Language:

english

File:

PDF, 806 KB

english, 2015

6

Stationary solutions of discrete and continuous Petri nets with priorities

Allamigeon, Xavier, Bœuf, Vianney, Gaubert, Stéphane

Journal:

Performance Evaluation

Year:

2017

Language:

english

File:

PDF, 673 KB

english, 2017

7

Solving generic nonarchimedean semidefinite programs using stochastic game algorithms

Allamigeon, Xavier, Gaubert, Stéphane, Skomra, Mateusz

Journal:

Journal of Symbolic Computation

Year:

2017

Language:

english

File:

PDF, 718 KB

english, 2017

8

Combinatorial Simplex Algorithms Can Solve Mean Payoff Games

Allamigeon, Xavier, Benchimol, Pascal, Gaubert, Stéphane, Joswig, Michael

Journal:

SIAM Journal on Optimization

Year:

2014

Language:

english

File:

PDF, 9.55 MB

english, 2014

9

Tropical Spectrahedra

Allamigeon, Xavier, Gaubert, StÃ©phane, Skomra, Mateusz

Journal:

Discrete & Computational Geometry

Year:

2020

File:

PDF, 687 KB

2020

10

The number of extreme points of tropical polyhedra

Xavier Allamigeon, Stéphane Gaubert, Ricardo D. Katz

Journal:

Journal of Combinatorial Theory, Series A

Year:

2011

Language:

english

File:

PDF, 373 KB

english, 2011

11

[ACM Press the ACM - Waterloo, ON, Canada (2016.07.20-2016.07.22)] Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation - ISSAC '16 - Solving Generic Nonarchimedean Semidefinite Programs Using Stochastic Game Algorithms

Allamigeon, Xavier, Gaubert, Stéphane, Skomra, Mateusz

Year:

2016

Language:

english

File:

PDF, 1.02 MB

english, 2016

12

A Fast Method to Compute Disjunctive Quadratic Invariants of Numerical Programs

Allamigeon, Xavier, Gaubert, Stéphane, Goubault, Eric, Putot, Sylvie, Stott, Nikolas

Journal:

ACM Transactions on Embedded Computing Systems

Year:

2017

Language:

english

File:

PDF, 651 KB

english, 2017

13

Minimal external representations of tropical polyhedra

Allamigeon, Xavier, Katz, Ricardo D.

Journal:

Journal of Combinatorial Theory, Series A

Year:

2013

Language:

english

File:

PDF, 1.04 MB

english, 2013

14

Certification of real inequalities: templates and sums of squares

Magron, Victor, Allamigeon, Xavier, Gaubert, Stéphane, Werner, Benjamin

Journal:

Mathematical Programming

Year:

2015

Language:

english

File:

PDF, 605 KB

english, 2015

15

Static analysis by abstract interpretation: application to the detection of heap overflows

Xavier Allamigeon, Charles Hymans

Journal:

Journal of Computer Virology and Hacking Techniques

Year:

2008

Language:

english

File:

PDF, 1.24 MB

english, 2008

16

The tropical analogue of the Helton–Nie conjecture is true

Allamigeon, Xavier, Gaubert, Stéphane, Skomra, Mateusz

Journal:

Journal of Symbolic Computation

Year:

2018

Language:

english

File:

PDF, 1003 KB

english, 2018

17

A Formalization of Convex Polyhedra Based on the Simplex Method

Allamigeon, Xavier, Katz, Ricardo D.

Journal:

Journal of Automated Reasoning

Year:

2018

Language:

english

File:

PDF, 645 KB

english, 2018

18

Tropical polar cones, hypergraph transversals, and mean payoff games

Xavier Allamigeon, Stéphane Gaubert, Ricardo D. Katz

Journal:

Linear Algebra and its Applications

Year:

2011

Language:

english

File:

PDF, 546 KB

english, 2011

19

Tropical Fourier–Motzkin elimination, with an application to real-time verification

Allamigeon, Xavier, Fahrenberg, Uli, Gaubert, Stéphane, Katz, Ricardo D., Legay, Axel

Journal:

International Journal of Algebra and Computation

Year:

2014

Language:

english

File:

PDF, 566 KB

english, 2014

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски